Isabelle/HOL, Lean, Automated Reasoning, Proof Assistants
Trustworthy Reasoning: Evaluating and Enhancing Factual Accuracy in LLM Intermediate Thought Processes
arxiv.org·3h
Footnotes, Gödel exercises, Purcell
logicmatters.net·18h
Constraint Catalog
sofdem.github.io·5h
Automated Catamorphism Synthesis for Solving Constrained Horn Clauses over Algebraic Data Types
arxiv.org·3d
Loading...Loading more...